EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS

Experience with Formal Verification of Sdl Protocols

This paper presents a case study in the application of formal methods to the verification of communication protocols. We analyze one component block of telephone switching software developed in the SDL language at Alcatel Network Systems Romania. We use the IF toolset from VERIMAG Grenoble to build a state-transition model of the system and verify selected properties. We present the steps perfo...

Verification of Authentication Protocols using SDL-method

Authentication between protocol agents is widely studied in the cryptographic protocol analysis area. It is essential in a virtual environment to rely on protocol parties' identity. In the academic literature there are many protocols that provide the authentication property. We present in this paper a new mechanism to verify authentication using SDL, general purpose specification language. We h...

Formal Verification of Communication Protocols

In this paper we present a formal abstract speciication for TCP/IP transport level protocols and formally verify that TCP satisses this speciication. We also present a formal description of an experimental protocol, T/TCP, which proposes to provide the same service as TCP, but with optimizations to make it eecient for transactions. We further show that this protocol does not provide the same se...

Formal Verification of Cryptographic Protocols

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...